transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
Schanuel’s conjecture is a conjecture in transcendental number theory:
If are complex numbers that are linearly independent over the rational numbers , then the field has transcendence degree at least . (Here denotes the exponential function.)
Compare the statement of the Lindemann-Weierstrass theorem: if are -linearly independent algebraic numbers, then has transcendence degree . Indeed, the Lindemann-Weierstrass theorem is a straightforward consequence of Schanuel’s conjecture.
Most known results in transcendental number theory follow from Schanuel’s conjecture, and it would imply many more results not yet known. As one illustration: by setting and , it would imply that has transcendence degree , implying that and are algebraically independent. Meanwhile, much weaker claims such as the irrationality of are unknown! This supports the general opinion that we are still very far from deciding Schanuel’s conjecture, even if it is widely believed to be true.
Schanuel’s conjecture, if proven, would have important consequences for the model theory of exponential rings. For example, it would imply that the theory of real numbers as an exponential field is decidable (Tarski’s exponential function problem).
See also:
Last revised on July 29, 2024 at 11:21:13. See the history of this page for a list of all contributions to it.